7,021 research outputs found
Optically activated ZnO/Sio2/Si cantilever beams
The photomechanical effect induced by periodically varying sub-bandgap illumination in thin ZnO films deposited on oxidized Si has been demonstrated for the first time. The efficiency of this effect is at least one order of magnitude higher as compared to the photothermal activation of Si. Thus it can be considered as a powerful optical drive for resonant sensors. A phenomenological model of the mechanisms involved in the process is proposed. The optomechanical effect can also be used as a complementary method in determination of the surface state parameters of ZnO films
ΠΠ΅ΠΊΠ°ΡΡΡΠ²Π΅Π½Π½ΡΠΉ Π°Π½Π°ΡΠΈΠ»Π°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΠΉ ΠΈ ΠΏΡΠ΅Π²Π΄ΠΎΠ°Π»Π»Π΅ΡΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΉ ΡΠΎΠΊ: ΠΏΠ°ΡΠΎΠ³Π΅Π½Π΅Π·, ΠΊΠ»ΠΈΠ½ΠΈΠΊΠ°, Π΄ΠΈΡΡΠ΅ΡΠ΅Π½ΡΠΈΠ°Π»ΡΠ½Π°Ρ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΠΊΠ°, ΠΏΠΎΠ΄Ρ ΠΎΠ΄Ρ ΠΊ ΡΠ΅ΡΠ°ΠΏΠΈΠΈ
ΠΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½Ρ ΠΎΡΠΎΠ±Π΅Π½Π½ΠΎΡΡΠΈ ΠΏΠ°ΡΠΎΠ³Π΅Π½Π΅Π·Π° Π°Π½Π°ΡΠΈΠ»Π°ΠΊΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΈ ΠΏΡΠ΅Π²Π΄ΠΎΠ°Π»Π»Π΅ΡΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠΎΠΊΠ°, ΠΎΠ±ΡΡΠ»ΠΎΠ²Π»Π΅Π½Π½ΠΎΠ³ΠΎ Π»Π΅ΠΊΠ°ΡΡΡΠ²Π΅Π½Π½ΡΠΌΠΈ ΡΡΠ΅Π΄ΡΡΠ²Π°ΠΌΠΈ, ΡΡ
ΠΎΠ΄ΡΡΠ²Π° ΠΈ ΡΠ°Π·Π»ΠΈΡΠΈΡ Π² ΠΊΠ»ΠΈΠ½ΠΈΡΠ΅ΡΠΊΠΎΠΌ ΠΈΡ
ΡΠ΅ΡΠ΅Π½ΠΈΠΈ, ΡΡΠ±ΡΠ΅ΠΊΡΠΈΠ²Π½ΡΠ΅ ΠΈ ΠΎΠ±ΡΠ΅ΠΊΡΠΈΠ²Π½ΡΠ΅ ΠΏΡΠΈΠ·Π½Π°ΠΊΠΈ Π΄ΠΈΡΡΠ΅ΡΠ΅Π½ΡΠΈΠ°Π»ΡΠ½ΠΎΠΉ Π΄ΠΈΠ°Π³Π½ΠΎΡΡΠΈΠΊΠΈ, ΠΏΠΎΠ΄Ρ
ΠΎΠ΄Ρ ΠΊ ΡΠ΅ΡΠ°ΠΏΠΈΠΈ.The peculiarities of the pathogenesis of anaphylactic and pseudoallergic shock caused by medications, similarity and differences of the clinical course, subjective and objective signs of differential diagnosis, approaches to therapy are presented
Symbolic Reachability Analysis of B through ProB and LTSmin
We present a symbolic reachability analysis approach for B that can provide a
significant speedup over traditional explicit state model checking. The
symbolic analysis is implemented by linking ProB to LTSmin, a high-performance
language independent model checker. The link is achieved via LTSmin's PINS
interface, allowing ProB to benefit from LTSmin's analysis algorithms, while
only writing a few hundred lines of glue-code, along with a bridge between ProB
and C using ZeroMQ. ProB supports model checking of several formal
specification languages such as B, Event-B, Z and TLA. Our experiments are
based on a wide variety of B-Method and Event-B models to demonstrate the
efficiency of the new link. Among the tested categories are state space
generation and deadlock detection; but action detection and invariant checking
are also feasible in principle. In many cases we observe speedups of several
orders of magnitude. We also compare the results with other approaches for
improving model checking, such as partial order reduction or symmetry
reduction. We thus provide a new scalable, symbolic analysis algorithm for the
B-Method and Event-B, along with a platform to integrate other model checking
improvements via LTSmin in the future
- β¦